(0 13 7)(1 12 8 5 3)(2 11 4)(6 10 9)
ALLOWS (11/8)-SEQUENCE
1: (0 1 7)
(0)(1 13 7 12 8 5 3)(2 11 4)(6 10 9)
2: (3 7 12)
(0)(1 13 7)(2 11 4)(3 8 5)(6 10 9)(12)
3: (2 11 4)
(0)(1 13 7)(2)(3 8 5)(4)(6 10 9)(11)(12)
4: (3 8 5)
(0)(1 13 7)(2)(3)(4)(5)(6 10 9)(8)(11)(12)